Optimal. Leaf size=253 \[ -\frac {10 e^3 (b d-a e)^2}{b^6 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {(b d-a e)^5}{4 b^6 (a+b x)^3 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 e (b d-a e)^4}{3 b^6 (a+b x)^2 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 e^2 (b d-a e)^3}{b^6 (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {e^5 x (a+b x)}{b^5 \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 e^4 (b d-a e) (a+b x) \log (a+b x)}{b^6 \sqrt {a^2+2 a b x+b^2 x^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.12, antiderivative size = 253, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.071, Rules used = {660, 45}
\begin {gather*} \frac {5 e^4 (a+b x) (b d-a e) \log (a+b x)}{b^6 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {10 e^3 (b d-a e)^2}{b^6 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 e^2 (b d-a e)^3}{b^6 (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 e (b d-a e)^4}{3 b^6 (a+b x)^2 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {(b d-a e)^5}{4 b^6 (a+b x)^3 \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {e^5 x (a+b x)}{b^5 \sqrt {a^2+2 a b x+b^2 x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 660
Rubi steps
\begin {align*} \int \frac {(d+e x)^5}{\left (a^2+2 a b x+b^2 x^2\right )^{5/2}} \, dx &=\frac {\left (b^4 \left (a b+b^2 x\right )\right ) \int \frac {(d+e x)^5}{\left (a b+b^2 x\right )^5} \, dx}{\sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {\left (b^4 \left (a b+b^2 x\right )\right ) \int \left (\frac {e^5}{b^{10}}+\frac {(b d-a e)^5}{b^{10} (a+b x)^5}+\frac {5 e (b d-a e)^4}{b^{10} (a+b x)^4}+\frac {10 e^2 (b d-a e)^3}{b^{10} (a+b x)^3}+\frac {10 e^3 (b d-a e)^2}{b^{10} (a+b x)^2}+\frac {5 e^4 (b d-a e)}{b^{10} (a+b x)}\right ) \, dx}{\sqrt {a^2+2 a b x+b^2 x^2}}\\ &=-\frac {10 e^3 (b d-a e)^2}{b^6 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {(b d-a e)^5}{4 b^6 (a+b x)^3 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 e (b d-a e)^4}{3 b^6 (a+b x)^2 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 e^2 (b d-a e)^3}{b^6 (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {e^5 x (a+b x)}{b^5 \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 e^4 (b d-a e) (a+b x) \log (a+b x)}{b^6 \sqrt {a^2+2 a b x+b^2 x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 242, normalized size = 0.96 \begin {gather*} \frac {-77 a^5 e^5+a^4 b e^4 (125 d-248 e x)-2 a^3 b^2 e^3 \left (15 d^2-220 d e x+126 e^2 x^2\right )-2 a^2 b^3 e^2 \left (5 d^3+60 d^2 e x-270 d e^2 x^2+24 e^3 x^3\right )+a b^4 e \left (-5 d^4-40 d^3 e x-180 d^2 e^2 x^2+240 d e^3 x^3+48 e^4 x^4\right )-b^5 \left (3 d^5+20 d^4 e x+60 d^3 e^2 x^2+120 d^2 e^3 x^3-12 e^5 x^5\right )-60 e^4 (-b d+a e) (a+b x)^4 \log (a+b x)}{12 b^6 (a+b x)^3 \sqrt {(a+b x)^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(448\) vs.
\(2(183)=366\).
time = 0.77, size = 449, normalized size = 1.77
method | result | size |
risch | \(\frac {\sqrt {\left (b x +a \right )^{2}}\, e^{5} x}{\left (b x +a \right ) b^{5}}+\frac {\sqrt {\left (b x +a \right )^{2}}\, \left (\left (-10 a^{2} b^{2} e^{5}+20 a \,b^{3} d \,e^{4}-10 d^{2} e^{3} b^{4}\right ) x^{3}-5 b \,e^{2} \left (5 e^{3} a^{3}-9 a^{2} b d \,e^{2}+3 a \,b^{2} d^{2} e +b^{3} d^{3}\right ) x^{2}-\frac {5 e \left (13 e^{4} a^{4}-22 a^{3} b d \,e^{3}+6 a^{2} b^{2} d^{2} e^{2}+2 a \,b^{3} d^{3} e +b^{4} d^{4}\right ) x}{3}-\frac {77 a^{5} e^{5}-125 a^{4} b d \,e^{4}+30 a^{3} b^{2} d^{2} e^{3}+10 a^{2} b^{3} d^{3} e^{2}+5 a \,b^{4} d^{4} e +3 b^{5} d^{5}}{12 b}\right )}{\left (b x +a \right )^{5} b^{5}}-\frac {5 \sqrt {\left (b x +a \right )^{2}}\, e^{4} \left (a e -b d \right ) \ln \left (b x +a \right )}{\left (b x +a \right ) b^{6}}\) | \(291\) |
default | \(-\frac {\left (-240 a \,b^{4} d \,e^{4} x^{3}-12 b^{5} e^{5} x^{5}+40 a \,b^{4} d^{3} e^{2} x -60 \ln \left (b x +a \right ) a^{4} b d \,e^{4}+360 \ln \left (b x +a \right ) a^{3} b^{2} e^{5} x^{2}+240 \ln \left (b x +a \right ) a^{4} b \,e^{5} x +3 b^{5} d^{5}-540 a^{2} b^{3} d \,e^{4} x^{2}+180 a \,b^{4} d^{2} e^{3} x^{2}-440 a^{3} b^{2} d \,e^{4} x +120 a^{2} b^{3} d^{2} e^{3} x +77 a^{5} e^{5}+60 \ln \left (b x +a \right ) a^{5} e^{5}-240 \ln \left (b x +a \right ) a \,b^{4} d \,e^{4} x^{3}-360 \ln \left (b x +a \right ) a^{2} b^{3} d \,e^{4} x^{2}-240 \ln \left (b x +a \right ) a^{3} b^{2} d \,e^{4} x +240 \ln \left (b x +a \right ) a^{2} b^{3} e^{5} x^{3}+60 \ln \left (b x +a \right ) a \,b^{4} e^{5} x^{4}-60 \ln \left (b x +a \right ) b^{5} d \,e^{4} x^{4}-48 a \,b^{4} e^{5} x^{4}+48 a^{2} b^{3} e^{5} x^{3}+120 b^{5} d^{2} e^{3} x^{3}+252 a^{3} b^{2} e^{5} x^{2}+60 b^{5} d^{3} e^{2} x^{2}+248 a^{4} b \,e^{5} x +20 b^{5} d^{4} e x -125 a^{4} b d \,e^{4}+30 a^{3} b^{2} d^{2} e^{3}+10 a^{2} b^{3} d^{3} e^{2}+5 a \,b^{4} d^{4} e \right ) \left (b x +a \right )}{12 b^{6} \left (\left (b x +a \right )^{2}\right )^{\frac {5}{2}}}\) | \(449\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 440 vs.
\(2 (185) = 370\).
time = 0.31, size = 440, normalized size = 1.74 \begin {gather*} -\frac {5}{12} \, d^{4} {\left (\frac {4}{{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {3}{2}} b^{2}} - \frac {3 \, a}{b^{6} {\left (x + \frac {a}{b}\right )}^{4}}\right )} e - \frac {5}{6} \, d^{3} {\left (\frac {6}{b^{5} {\left (x + \frac {a}{b}\right )}^{2}} - \frac {8 \, a}{b^{6} {\left (x + \frac {a}{b}\right )}^{3}} + \frac {3 \, a^{2}}{b^{7} {\left (x + \frac {a}{b}\right )}^{4}}\right )} e^{2} - \frac {5}{6} \, d^{2} {\left (\frac {12 \, x^{2}}{{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {3}{2}} b^{2}} + \frac {8 \, a^{2}}{{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {3}{2}} b^{4}} + \frac {6 \, a}{b^{6} {\left (x + \frac {a}{b}\right )}^{2}} - \frac {8 \, a^{2}}{b^{7} {\left (x + \frac {a}{b}\right )}^{3}} - \frac {3 \, a^{3}}{b^{8} {\left (x + \frac {a}{b}\right )}^{4}}\right )} e^{3} + \frac {5}{12} \, d {\left (\frac {48 \, a b^{3} x^{3} + 108 \, a^{2} b^{2} x^{2} + 88 \, a^{3} b x + 25 \, a^{4}}{b^{9} x^{4} + 4 \, a b^{8} x^{3} + 6 \, a^{2} b^{7} x^{2} + 4 \, a^{3} b^{6} x + a^{4} b^{5}} + \frac {12 \, \log \left (b x + a\right )}{b^{5}}\right )} e^{4} + \frac {1}{12} \, {\left (\frac {12 \, b^{5} x^{5} + 48 \, a b^{4} x^{4} - 48 \, a^{2} b^{3} x^{3} - 252 \, a^{3} b^{2} x^{2} - 248 \, a^{4} b x - 77 \, a^{5}}{b^{10} x^{4} + 4 \, a b^{9} x^{3} + 6 \, a^{2} b^{8} x^{2} + 4 \, a^{3} b^{7} x + a^{4} b^{6}} - \frac {60 \, a \log \left (b x + a\right )}{b^{6}}\right )} e^{5} - \frac {d^{5}}{4 \, b^{5} {\left (x + \frac {a}{b}\right )}^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 2.60, size = 369, normalized size = 1.46 \begin {gather*} -\frac {3 \, b^{5} d^{5} - {\left (12 \, b^{5} x^{5} + 48 \, a b^{4} x^{4} - 48 \, a^{2} b^{3} x^{3} - 252 \, a^{3} b^{2} x^{2} - 248 \, a^{4} b x - 77 \, a^{5}\right )} e^{5} - 5 \, {\left (48 \, a b^{4} d x^{3} + 108 \, a^{2} b^{3} d x^{2} + 88 \, a^{3} b^{2} d x + 25 \, a^{4} b d\right )} e^{4} + 30 \, {\left (4 \, b^{5} d^{2} x^{3} + 6 \, a b^{4} d^{2} x^{2} + 4 \, a^{2} b^{3} d^{2} x + a^{3} b^{2} d^{2}\right )} e^{3} + 10 \, {\left (6 \, b^{5} d^{3} x^{2} + 4 \, a b^{4} d^{3} x + a^{2} b^{3} d^{3}\right )} e^{2} + 5 \, {\left (4 \, b^{5} d^{4} x + a b^{4} d^{4}\right )} e + 60 \, {\left ({\left (a b^{4} x^{4} + 4 \, a^{2} b^{3} x^{3} + 6 \, a^{3} b^{2} x^{2} + 4 \, a^{4} b x + a^{5}\right )} e^{5} - {\left (b^{5} d x^{4} + 4 \, a b^{4} d x^{3} + 6 \, a^{2} b^{3} d x^{2} + 4 \, a^{3} b^{2} d x + a^{4} b d\right )} e^{4}\right )} \log \left (b x + a\right )}{12 \, {\left (b^{10} x^{4} + 4 \, a b^{9} x^{3} + 6 \, a^{2} b^{8} x^{2} + 4 \, a^{3} b^{7} x + a^{4} b^{6}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (d + e x\right )^{5}}{\left (\left (a + b x\right )^{2}\right )^{\frac {5}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.73, size = 265, normalized size = 1.05 \begin {gather*} \frac {x e^{5}}{b^{5} \mathrm {sgn}\left (b x + a\right )} + \frac {5 \, {\left (b d e^{4} - a e^{5}\right )} \log \left ({\left | b x + a \right |}\right )}{b^{6} \mathrm {sgn}\left (b x + a\right )} - \frac {3 \, b^{5} d^{5} + 5 \, a b^{4} d^{4} e + 10 \, a^{2} b^{3} d^{3} e^{2} + 30 \, a^{3} b^{2} d^{2} e^{3} - 125 \, a^{4} b d e^{4} + 77 \, a^{5} e^{5} + 120 \, {\left (b^{5} d^{2} e^{3} - 2 \, a b^{4} d e^{4} + a^{2} b^{3} e^{5}\right )} x^{3} + 60 \, {\left (b^{5} d^{3} e^{2} + 3 \, a b^{4} d^{2} e^{3} - 9 \, a^{2} b^{3} d e^{4} + 5 \, a^{3} b^{2} e^{5}\right )} x^{2} + 20 \, {\left (b^{5} d^{4} e + 2 \, a b^{4} d^{3} e^{2} + 6 \, a^{2} b^{3} d^{2} e^{3} - 22 \, a^{3} b^{2} d e^{4} + 13 \, a^{4} b e^{5}\right )} x}{12 \, {\left (b x + a\right )}^{4} b^{6} \mathrm {sgn}\left (b x + a\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (d+e\,x\right )}^5}{{\left (a^2+2\,a\,b\,x+b^2\,x^2\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________